7 divided by 3